общий анализ осуществимости

общий анализ осуществимости

Универсальный русско-английский словарь. . 2011.

Игры ⚽ Поможем написать реферат

Смотреть что такое "общий анализ осуществимости" в других словарях:

  • Стереометрическая семантика —    трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… …   Проективный философский словарь

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения …   Математическая энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • Прогноз — (Forecast) Определение прогноза, задачи и принципы прогнозирования Определение прогноза, задачи и принципы прогнозирования, методы прогнозирования Содержание Содержание Определение Основные понятия прогностики Задачи и принципы прогнозирования… …   Энциклопедия инвестора

  • ЭТИКА — 1) наука о морали. Как термин и особая систематизированная дисциплина восходит к Аристотелю. От слова «этос», обозначавшего в гомеровской древности место обитания, а в последующем устойчивую природу к. л. явления, в т.ч. нрав, характер,… …   Философская энциклопедия

  • Ленин, Владимир Ильич — Ленин В. И. (Ульянов, 1870—1924) — род. в Симбирске 10 (23) апреля 1870 г. Отец его, Илья Николаевич, происходил из мещан гор. Астрахани, лишился отца в возрасте 7 лет и был воспитан старшим братом, Василием Николаевичем, которому и… …   Большая биографическая энциклопедия

  • РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

  • Ленин — I. Биография. II. Ленин и литературоведение. 1. Постановка проблемы. 2. Философские воззрения Л. 3. Учение Л. о культуре. 4. Теория империализма. 5. Теория двух путей развития русского капитализма. 6. Воззрения Л. на отдельных русских писателей.… …   Литературная энциклопедия

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»